Software Safety Demonstration and Idemnification

Damage Size and Software Safety Demonstration Stress Testing

Software safety testing focuses on whether safety-critical software under test fulfills corresponding safety specifications. But unfortunately, it is very difficult to test software safety by using traditional operational reliability demonstration testing methods. The main reason is that different failures may have different impacts on safety. Damage size of a failure is a classified measuremen...

A Safety Kernel For Tra c Light Control

The success of kernels for enforcing security has led to proposals to use kernels for enforcing safety. This paper presents a feasibility demonstration of one particular proposal for a safety kernel via the application of tra c light control. The paper begins with the safety properties for tra c light control and speci es a kernel that maintains the safety properties. An implementation sketch o...

A Safety Kernel for Traac Light Control

The success of kernels for enforcing security has led to proposals to use kernels for enforcing safety. This paper presents a feasibility demonstration of one particular proposal for a safety kernel via the application of traac light control. The paper begins with the safety properties for traac light control and speciies a kernel that maintains the safety properties. An implementation sketch o...

Safety Demonstration and Software Development

An optimal statistical testing policy for software reliability demonstration of safety-critical systems

When software reliability demonstration of safety-critical systems by statistical testing is treated as a TAAF (Test, Analyse and Fix) process, an optimal testing policy can be found, which maximises the probability of success of the whole process, over a predetermined period of time. The optimisation problem is formulated, solved by stochastic dynamic programming, and demonstrated by two numer...